Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·15h·
Discuss: Hacker News
🦀Rust
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2h·
Discuss: Hacker News
🔧Compiler Design
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🔗Parser Combinators
Compilers vs Interpreters: Understanding How Code Gets Executed
dev.to·22h·
Discuss: DEV
🔧Compiler Design
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·15h·
Discuss: Hacker News
🧩Theorem Proving
Notes and Takes from Computer Systems, A Programmer's Perspective - Chapter 1, from a Non-CS Grad
youtube.com·16h·
Discuss: DEV
🏗Computer Architecture
Announcing Precomputed Reachability Analysis in Socket
socket.dev·1d·
Discuss: Hacker News
✅Formal Verification
Constraint Catalog
sofdem.github.io·5h
🎯Constraint Programming
Machine Learning Fundamentals: logistic regression example
dev.to·15h·
Discuss: DEV
🎲Probabilistic Programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
🧮Programming Language Theory
July: The Rest of the Story - JVM Weekly vol. 139
jvm-weekly.com·18h
🔧Compiler Design
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·57m·
Discuss: DEV
🧮Programming Language Theory
Go Assembly Mutation Testing
words.filippo.io·14h·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
Write Code Like Sherlock Holmes: The Art of Deductive Development 🔍
dev.to·17h·
Discuss: DEV
🧩Theorem Proving
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·2d·
Discuss: Hacker News
🧩Theorem Proving
The Reality of Debugging: How I Deal with "That One Bug"
prisma.io·1d·
Discuss: DEV
📦WebAssembly
Prompt Engineering for Security. Innovation in Verification
semiwiki.com·1d
✅Formal Verification
Why build a domain-specific agent for front end tasks?
kombai.com·17h·
Discuss: Hacker News
📦WebAssembly
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·2d
⚙Functional Programming